Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Mordercy naukowcami. Niezwykłe historie leksykografa, ornitologa i matematyka
16 marca 2022, 06:51Niejednokrotnie słyszeliśmy o naukowcach, którzy popełnili przestępstwo. Najsłynniejszy to niewątpliwie Galileusz, który za nieposłuszeństwo wobec Inkwizycji został skazany na areszt domowy. Spędził go zresztą w luksusowych willach i pałacu arcybiskupim. Nie wszyscy uczeni mieli tyle szczęścia. W 2012 roku włoski sąd skazał siedmiu sejsmologów na karę po sześć lat więzienia za to, że zapewniali, iż ludność miasta L'Aquila jest bezpieczna. Tymczasem w wyniku trzęsienia ziemi zginęło ponad 300 osób.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
Nie pali, nie pije...
22 grudnia 2007, 01:27Możemy już zapoznać się z wrażeniami po próbnej przejażdżce elektrycznym pojazdem opracowanym przez kalifornijską firmę Aptera. Model o swojskiej nazwie Typ-1 e jest trójkołowcem wykonanym z kompozytów, który może wygodnie przewozić dwie dorosłe osoby oraz dziecko na odległość do 190 km. Po pokonaniu tego dystansu wymagane jest kilkugodzinne ładowanie baterii.
Sprzedano najstarszy (jeżdżący) samochód świata
12 października 2011, 09:23Na aukcji zorganizowanej w ubiegły piątek (7 października) w Hershey w Pensylwanii poszedł pod młotek najstarszy - w dodatku nadal jeżdżący - samochód świata. Sprzedażą parowego 127-letniego cacka zajmowała się firma RM Auctions. Ostatecznie uzyskano cenę 4,6 mln dol. Kwota uwzględnia 10-proc. premię dla domu aukcyjnego.
Śledztwo ws. wypadku tesli z autopilotem
1 lipca 2016, 10:19Amerykańska Narodowa Administracja Bezpieczeństwa Ruchu Drogowego (NHTSA) prowadzi śledztwo w sprawie śmiertelnego wypadku, jakiemu podczas jazdy na autopilocie uległ kierowca tesli Model S. Do wypadku doszło 7 maja na Florydzie, a ofiarą był 40-letni Joshua Brown
„Ogniste smugi” coraz bardziej realne w zderzeniach jąder atomowych i protonów
10 maja 2019, 05:13Zderzenia jąder ołowiu zachodzą w ekstremalnych warunkach fizycznych. Ich przebieg można opisać za pomocą modelu zakładającego, że przekształcająca się, ekstremalnie gorąca materia – plazma kwarkowo-gluonowa – płynie w postaci setek smug. Dotychczas „ogniste smugi” wydawały się konstrukcjami czysto teoretycznymi. Jednak najnowsza analiza zderzeń pojedynczych protonów wzmacnia tezę, że odpowiada im rzeczywiste zjawisko.
Czy pszczoły polecą z nami na Marsa? Wyjątkowa praca doktorantki AGH
15 lipca 2021, 18:51Czy pszczoły będą mogły towarzyszyć nam na Marsie i czy będą mogły zapylać uprawy w szklarniach marsjańskich – to pytania na które stara się odpowiedzieć doktorantka AGH. Mgr inż. Dagmara Stasiowska w ramach pracy doktorskiej sprawdza wpływ stresu związanego z przeciążeniami generowanymi przez rakietę w trakcie podróży kosmicznej na poprawność rozmnażania się pszczół miodnych
Model GPT-4 diagnozuje choroby oczu lepiej niż lekarze nie będący specjalistami
19 kwietnia 2024, 07:55Model GPT-4 znacząco lepiej diagnozuje choroby oczu od lekarzy, którzy w chorobach takich się nie specjalizują, dowodzi eksperyment przeprowadzony przez naukowców z University of Cambridge. Co więcej, jego zdolności diagnostyczne oraz proponowane rozwiązania zbliżają się do poziomu lekarzy-specjalistów w tej dziedzinie. Takie wnioski płyną z badań, w ramach których porównano GPT-4 z lekarzami-stażystami nie specjalizującymi się w chorobach oczu, lekarzami w trakcie specjalizacji oraz ze specjalistami chorób oczu.
The Pirate Bay sprzedane
30 czerwca 2009, 13:18Szwedzka firma Global Gaming Factory X AB poinformowała o kupieniu serwisu The Pirate Bay. Przedsiębiorstwo oświadczyło, że ma zamiar płacić tantiemy właścicielom praw autorskich.
